Vector spaces definition